101. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author: M. Main...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
442
102. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990
103. Mathematical mehtods for digital computers
Author: / Anthony Ralston, Herbert S. Wilf
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic computers,Mathematics
Classification :
510
.
78
Ra
104. Mathematics for computer programmers
Author: Kay, Christine Benedyk
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer science- Mathematics,، Electronic digital computers- Programming
Classification :
QA
76
.
9
.
M35
K38
105. Mathematics of program construction
Author: Ronald Back house Jose Nuno oliveria
Library: Vali Asr University Central Library (Kerman)
Subject: Electronic digital computers-programming-congresses,computer science-mathematics-congresses
Classification :
QA
76
.
6
.
M2
2000
106. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
6
.
M367
1993
107. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
Classification :
QA
76
.
L4
v
.
669
108. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
Classification :
QA
76
.
6
.
M367
1992
109. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
6
.
M366
1989
110. Multiset processing
Author: / Cristian S. Calude ... [et al.] (eds.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Congresses,Computer science--Mathematics--Congresses,Molecular computers--Congresses
Classification :
QA
,
76
.
5
,.
M85
,
2001
111. Multiset processing: mathematical, computer science, and molecular computing points of view
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Electronic data processing,Congresses ، Computer science-- Mathematics,Congresses ، Molecular computers
Classification :
QA
76
.
5
.
M85
2001
112. Multiset processing : mathematical, computer science, and molecular computing points of view
Author: Cristian S. Calude...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing,Congresses ، Computer science -- Mathematics,Congresses ، Molecular computers
Classification :
QA
76
.
L28
Vol
.
2235
113. Optimum design of control systems
Author: / Julius T. Tou
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Programming (Mathematics),Systems engineering,Electronic digital computers
Classification :
519
.
7
To-O
114. Optimum design of digital control systems
پدیدآورنده : Tou, Tsu-lieh
موضوع : ، Programming )Mathematics(,، Systems engineering,، Electronic digital computers
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
115. Optimum design of digital control systems
Author: Julius T. Tou.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic digital computers.,Programming (Mathematics),Systems engineering.
116. Parallel Processing and Applied Mathematics
Author: \ [Edited by] Roman Wyrzykowski...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Mathematics -- Congresses.,پردازش موازی -- کنگره ها,ریاضیات -- کنگره ها
Classification :
E-Book
,
117. Parallel Processing and Applied Mathematics
Author: \ [Edited by] Roman Wyrzykowski ... [et al.].
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Mathematics -- Congresses.,پردازش موازی -- کنگره ها,ریاضیات -- کنگرهها
Classification :
E-Book
,
118. Parallel Processing and Applied Mathematics
Author: \ [Edited by] Roman Wyrzykowski ... [et al.]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Mathematics -- Congresses.,پردازش موازی -- کنگره ها,ریاضیات -- کنگرهها
Classification :
E-Book
,
119. Parallel Processing and Applied Mathematics
Author: \ [Edited by] Roman Wyrzykowski...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Mathematics -- Congresses.,پردازش موازی -- کنگره ها,ریاضیات -- کنگرهها
Classification :
E-Book
,
120. Parallel Processing and Applied Mathematics
Author: \ Roman Wyrzykowski ... [et.al], (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses,Mathematics -- Congresses,پردازش موازی -- کنگرهها,ریاضیات -- کنگرهها
Classification :
E-Book
,
